package ewu

import ewu._
import scala.collection.mutable.ArrayBuffer

/**
 * Diese Klasse stellt den boolschen Wert False dar.
 */

case class False extends BoolExpression {
  
  def evaluate (env: Environment): Option[Boolean] = Some(false)
  
  override def toString: String = "FALSE"

  def reduce: BoolExpression = this

  def isTrue: Boolean = false
  
  def getVariables(a: ArrayBuffer[Name]) = {}
  
}


 